The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Jim Woodcock Books

Results for Jim Woodcock

Showing 1 to 3 of 3 results
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings: 2885 (Lecture Notes in Computer Science) Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings: 2885 (Lecture Notes in Computer Science) by Jim Woodcock,Jin Song Dong

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings: 2885 (Lecture Notes in Computer Science)

by Jim Woodcock,Jin Song Dong


ISBN 13: 9783540204619

Format: Paperback (696 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $109.28  
New : $109.28
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) by Zhiming Liu,Jim Woodcock,Huibiao Zhu

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

by Zhiming Liu,Jim Woodcock,Huibiao Zhu


ISBN 13: 9783642396977

Format: Paperback (428 pages)
Publisher: Springer
Published: 31 Jul 2013

Save for later

 
New : $56.33  
New : $56.33
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... 8050 (Lecture Notes in Computer Science) Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... 8050 (Lecture Notes in Computer Science) by Zhiming Liu, Jim Woodcock, Huibiao Zhu

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... 8050 (Lecture Notes in Computer Science)

by Zhiming Liu, Jim Woodcock, Huibiao Zhu


ISBN 13: 9783642397202

Format: Paperback (296 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later

 
New : $56.17  
New : $56.17